🇬🇧 en fi 🇫🇮

total order noun

  • (set theory, order theory) A partial order, ≤, (a binary relation that is reflexive, antisymmetric, and transitive) on some set S, such that any two elements of S are comparable (for any x, y ∈ S, either x ≤ y or y ≤ x).
 täydellinen järjestys
Wiktionary Links